Foundations of Artificial Intelligence July 23 , 2010 10 : 00 – 10 : 30
نویسندگان
چکیده
The procedural interpretation of logic programs and queries is parametric to the selection rule, i.e. the rule that determines which atom is selected in each resolution step. Termination of logic programs and queries depends critically on the selection rule. In this survey, we present a unified view and comparison of seven notions of universal termination considered in the literature, and the corresponding classes of programs. For each class, we focus on a sufficient, and in most cases even necessary, declarative characterisation for determining that a program is in that class. By unifying different formalisms and making appropriate assumptions, we are able to establish a formal hierarchy between the different classes and their respective declarative characterisations.
منابع مشابه
UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30 - July 3, 2000
Let's read! We will often find out this sentence everywhere. When still being a kid, mom used to order us to always read, so did the teacher. Some books are fully read in a week and we need the obligation to support reading. What about now? Do you still love reading? Is reading only for you who have obligation? Absolutely not! We here offer you a new book enPDFd uai 00 proceedings of the 16th c...
متن کاملThe importance of cognitive processes for the integrative treatment of persons with schizophrenia.
VIII International Symposium on Schizophrenia Bern (ISSB 2010) April 15 16, 2010 „The Importance of Cognitive Processes for the Integrative Treatment of Persons with Schizophrenia“ Thursday, 4/15/2010 08:45-12:30 Session 1: Foundations (Chairs: Wolfgang Tschacher, Bern, Switzerland and Hans D. Brenner, Valparaiso, Chile) 08:45-09:00 Opening Remarks (Wolfgang Tschacher, Bern, Switzerland) 09:00-...
متن کاملPast IJCAI Conferences
23 IJCAI-13: Beijing, China (August 3–9) 22 IJCAI-11: Barcelona, Catalonia, Spain (July 16–22) 21 IJCAI-09: Pasadena, California, USA (July 11–17) 20 IJCAI-07: Hyderabad, India (January 6–12) 19 IJCAI-05: Edinburgh, Scotland (July 30–August 5) 18 IJCAI-03: Acapulco, Mexico (August 9–15) 17 IJCAI-01: Seattle, Washington, USA (August 4–10) 16 IJCAI-99: Stockholm, Sweden (July 31–August 6) 15 IJCA...
متن کاملPast IJCAI Conferences
22 IJCAI-11: Barcelona, Catalonia, Spain (July 16–22) 21 IJCAI-09: Pasadena, California, USA (July 11–17) 20 IJCAI-07: Hyderabad, India (January 6–12) 19 IJCAI-05: Edinburgh, Scotland (July 30–August 5) 18 IJCAI-03: Acapulco, Mexico (August 9–15) 17 IJCAI-01: Seattle, Washington, USA (August 4–10) 16 IJCAI-99: Stockholm, Sweden (July 31–August 6) 15 IJCAI-97: Nagoya, Japan (August 23–29) 14 IJC...
متن کامل